Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Чушкин М. С. «Завершение эскизов предикатных программ методом синтеза через контрпримеры» // Прикладная дискретная математика. Приложение 2017. №10 C.151-153